翻訳と辞書 Words near each other ・ Slice to Sharp ・ Slice, Inc. ・ Sliced ・ Sliced bread ・ Sliced fish soup ・ Sliced inverse regression ・ Sliced Porosity Block - CapitaLand Raffles City Chengdu ・ Slicer (disambiguation) ・ Slices ・ Slices of Life ・ Slichtenhorst ・ Slichter Foreland ・ Slicing ・ Slicing (interface design) ・ Slicing Grandpa ・ Slicing Petri nets ・ Slick ・ Slick & Rose ・ Slick (album) ・ Slick (magazine format) ・ Slick (nickname) ・ Slick (surname) ・ Slick (tool) ・ Slick (wrestling) ・ Slick Aguilar ・ Slick Aircraft Slick 360 ・ Slick Airways ・ Slick Castleman ・ Slick Chick ・ Slick chick Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Slicing Petri nets ： ウィキペディア英語版 Slicing Petri nets Petri net (PN) slicing is a syntactic technique used to reduce a PN model based on a given criterion.〔〔〔 Informally, a slicing criterion could be a property for which a PN model is analyzed or is a set of places, transitions, or both. A sliced part constitutes only that part of a PN model that may affect the criteria. ==Background== The term slicing was coined by M. Weiser in the context of program debugging.〔 According to Wieser, a program slice is a reduced, executable program that can be obtained from a program P based on the variables of interest and line number by removing statements such that program slicing replicates part of the behavior of the program. The term was later adapted to the context of Petri nets and for other classes of Petri nets such as Algebraic Petri nets.〔〔〔〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Slicing Petri nets」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.